-
1 связанность по квантору
Linguistics: Q-binding, quantifier bindingУниверсальный русско-английский словарь > связанность по квантору
-
2 квантор, связывающий переменную
Mathematics: quantifier binding a variableУниверсальный русско-английский словарь > квантор, связывающий переменную
См. также в других словарях:
True quantified Boolean formula — The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first order logic where every variable is quantified (or bound), using either… … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
Donkey pronoun — A donkey pronoun is a pronoun that is bound in semantics but not syntax.[1][2] Some writers prefer the term donkey anaphora, since it is the referential aspects and discourse or syntactic context that are of interest to researchers (see anaphora) … Wikipedia
Crossover effects — In linguistics, crossover effects are restrictions on possible binding or coreference found between certain phrases and pronouns. Crossover effects are divided into weak crossover or strong crossover. Weak crossover In syntax, weak crossover (or… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Determination des constantes d'equilibre — Détermination des constantes d équilibre Les constantes d équilibre sont évaluées pour quantifier les équilibres chimiques à partir de mesures de concentrations, directes ou indirectes, et mettant en œuvre des techniques numériques. Cet article… … Wikipédia en Français
Détermination des constantes d'équilibre — Les constantes d équilibre sont évaluées pour quantifier les équilibres chimiques à partir de mesures de concentrations, directes ou indirectes, et mettant en œuvre des techniques numériques. Cet article se limite aux équilibres en solutions… … Wikipédia en Français
Singular they — is a popular, non technical expression for uses of the pronoun they (and its inflected forms) when plurality is not required by the context. The Chicago Manual of Style notes: On the one hand, it is unacceptable to a great many reasonable readers … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium